correct-by-design methodology
通过设计校正的方法学
热门查询
- fructify vt. 使结果实；使肥沃；富有成果 vi. 结果实；有成果
- township n. 镇区；小镇
- businesswoman n. 女商人
- Florrie n. 弗洛丽(Florence的昵称)(f.)
- pinball n. 弹球戏；钉球戏（一种赌博游戏机）
- community n. 社区；[生态] 群落；共同体；团体
- hockey n. 曲棍球；冰球 n. (Hockey)人名；(英)霍基
- Glamorgan n. 格拉摩根郡（英国一旧郡）
- grandiosity n. 宏伟；夸张
- bagpipe n. 风笛 vi. 奏风笛
- Saint n. 圣人；圣徒；道德崇高的人 adj. 神圣的 vt. 成为圣徒
- triggerman n. 保镖；刺客
- Jonsson [人名] 琼森
- bureaucratically adv. 官僚主义地
- Posi n. (Posi)人名；(意、巴布)波西
- Fabre 法布尔(Jean Henri, 1823-1915, 法国昆虫学家及著作家)
- immortality n. 不朽；不朽的声名；不灭
- plainness n. 明白；平坦；正直；平坦度
- TLR abbr. tailor 裁缝; teller （议会的）点票员; （银行）出纳员; 防空情报报告员
- inflate vt. 使充气；使通货膨胀 vi. 膨胀；充气
考试词汇表
- theory of atom slanting
- theory of basic anxiety
- theory of bio-evolution
- theory of catastrophism
- theory of cell division
- theory of colour vision
- theory of common factor
- theory of communication
- theory of consciousness
- theory of consolidation
- theory of cost behavior
- theory of finite groups
- theory of five elements
- theory of free radicals
- theory of gold movement
- theory of hybridization
- theory of hypersurfaces
- theory of index numbers
- theory of large samples
- theory of leisure class
